<html>
<head><meta charset="utf-8"><title>meeting 2021.01.14 · wg-async-foundations · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/index.html">wg-async-foundations</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html">meeting 2021.01.14</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="222770065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222770065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222770065">(Jan 14 2021 at 19:30)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1172">@WG-async-foundations</span> time for our meeting</p>



<a name="222770303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222770303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222770303">(Jan 14 2021 at 19:32)</a>:</h4>
<p>We closed one issue last week:</p>
<ul>
<li>Suggest <code>async {}</code> for <code>async || {}</code> <a href="https://github.com/rust-lang/rust/issues/76011">#76011</a></li>
</ul>



<a name="222770563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222770563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222770563">(Jan 14 2021 at 19:33)</a>:</h4>
<p>Any other updates?</p>



<a name="222770679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222770679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222770679">(Jan 14 2021 at 19:34)</a>:</h4>
<p>Not sure if <span class="user-mention" data-user-id="225192">@Nell Shamrell-Harrington</span> is here, but I saw some movement on the Stream RFC</p>



<a name="222770680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222770680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222770680">(Jan 14 2021 at 19:34)</a>:</h4>
<p>Yeah, just signal boosting the discussions around "driving futures to completion" thread.</p>



<a name="222770709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222770709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222770709">(Jan 14 2021 at 19:34)</a>:</h4>
<p>There's a lot of bikeshedding happening over the name for the <code>#[must_not_await]</code> RFC (is that even it's name now?).</p>



<a name="222770862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222770862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222770862">(Jan 14 2021 at 19:35)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116883">tmandry</span> <a href="#narrow/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14/near/222770679">said</a>:</p>
<blockquote>
<p>Not sure if <span class="user-mention silent" data-user-id="225192">Nell Shamrell-Harrington</span> is here, but I saw some movement on the Stream RFC</p>
</blockquote>
<p>Specifically, the <code>next</code> method was removed so it can move forward</p>



<a name="222770881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222770881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222770881">(Jan 14 2021 at 19:35)</a>:</h4>
<p>I sent out a pre-rfc to rust internals <a href="https://internals.rust-lang.org/t/pre-rfc-leave-auto-trait-for-reliable-destruction/13825">https://internals.rust-lang.org/t/pre-rfc-leave-auto-trait-for-reliable-destruction/13825</a><br>
It would be helpful to get more of the async perspective considered, for anyone who's interested.</p>



<a name="222771048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771048">(Jan 14 2021 at 19:36)</a>:</h4>
<p>Okay thanks for the updates, I think we can move on</p>



<a name="222771072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771072">(Jan 14 2021 at 19:36)</a>:</h4>
<p>Might do a collaborative summary docs on the different proposals in the future. Just wanted to first get that out.</p>



<a name="222771090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771090">(Jan 14 2021 at 19:36)</a>:</h4>
<p>2 <a href="https://github.com/search?q=org%3Arust-lang+is%3Aissue+label%3AA-async-await+is%3Aopen+-label%3AAsyncAwait-Triaged&amp;type=Issues">new issues</a> to triage</p>



<a name="222771119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771119">(Jan 14 2021 at 19:36)</a>:</h4>
<h2>Regression: missing MIR for generic async fn across crates <a href="https://github.com/rust-lang/rust/issues/81000">#81000</a></h2>



<a name="222771215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771215">(Jan 14 2021 at 19:37)</a>:</h4>
<p>Possibly fixed already, looks like</p>



<a name="222771362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771362">(Jan 14 2021 at 19:38)</a>:</h4>
<p>with a test</p>



<a name="222771386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771386">(Jan 14 2021 at 19:38)</a>:</h4>
<p>closing</p>



<a name="222771479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771479">(Jan 14 2021 at 19:38)</a>:</h4>
<h2>ICE in github build <a href="https://github.com/rust-lang/rust/issues/80998">#80998</a></h2>



<a name="222771634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771634">(Jan 14 2021 at 19:39)</a>:</h4>
<p>this may be a dupe of the first one</p>



<a name="222771788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771788">(Jan 14 2021 at 19:40)</a>:</h4>
<p>probably not actually</p>



<a name="222771837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771837">(Jan 14 2021 at 19:40)</a>:</h4>
<p>also has a PR!</p>



<a name="222771888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771888">(Jan 14 2021 at 19:41)</a>:</h4>
<p>ah yeah, that's the one I need to review =)</p>



<a name="222771938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222771938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222771938">(Jan 14 2021 at 19:41)</a>:</h4>
<p>okay, that's all!</p>



<a name="222772016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772016">(Jan 14 2021 at 19:41)</a>:</h4>
<p>Any other updates / comments / topics for discussion?</p>



<a name="222772140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772140">(Jan 14 2021 at 19:42)</a>:</h4>
<p>As far as the RFC for the <code>#[must_not_await]</code> lint goes, I think we need to move the discussion towards the actual lint instead of the name. We need to finalize on a name and move forward, since imo, there's other topics which are of a higher priority to discuss.</p>



<a name="222772315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772315">(Jan 14 2021 at 19:43)</a>:</h4>
<p>+1, bikeshedding names seems unproductive.</p>



<a name="222772332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772332">(Jan 14 2021 at 19:43)</a>:</h4>
<p>I think the documentation around the feature should help explain it to users. I understand why the name is a such a big topic for debate, given the complex nature of the ideas it is working with, but better documentation should alleviate some of the pain with whatever name we choose, since none of them really give the whole picture.</p>



<a name="222772543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772543">(Jan 14 2021 at 19:44)</a>:</h4>
<p>Names cannot always be completely self explanatory, the important thing is their function is documented. Imo.</p>



<a name="222772552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772552">(Jan 14 2021 at 19:44)</a>:</h4>
<p>My read is that everyone is okay with the lint, and the name is the last thing to discuss</p>



<a name="222772613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772613">(Jan 14 2021 at 19:45)</a>:</h4>
<p><span class="user-mention silent" data-user-id="137147">Didrik Nordstrom</span> <a href="#narrow/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14/near/222772543">said</a>:</p>
<blockquote>
<p>Names cannot always be completely self explanatory, the important thing is their function is documented. Imo.</p>
</blockquote>
<p>I agree, but think the name can still be better in this case</p>



<a name="222772671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772671">(Jan 14 2021 at 19:45)</a>:</h4>
<p>and multiple people commented saying the name confused them in the same way</p>



<a name="222772681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772681">(Jan 14 2021 at 19:45)</a>:</h4>
<blockquote>
<p>My read is that everyone is okay with the lint, and the name is the last thing to discuss</p>
</blockquote>
<p>I can see that, but how can we get consensus on a name? A survey possibly?</p>



<a name="222772731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772731">(Jan 14 2021 at 19:46)</a>:</h4>
<p>What are the options?</p>



<a name="222772846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772846">(Jan 14 2021 at 19:46)</a>:</h4>
<p>The most popular option seems to be <code>#[must_drop_before_suspend]</code>, the only problem with this being it's wordy.</p>



<a name="222772870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772870">(Jan 14 2021 at 19:46)</a>:</h4>
<p>There are two ways I know of.. either drive consensus in the RFC, or state in the RFC that the name is provisional and will need to be revisited before stabilization</p>



<a name="222772930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772930">(Jan 14 2021 at 19:47)</a>:</h4>
<p>There's also <code>#[must_not_suspend]</code> which was suggested at different points through the discussion.</p>



<a name="222772966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772966">(Jan 14 2021 at 19:47)</a>:</h4>
<p><code>no_suspend</code>.. the possibilities are endless!</p>



<a name="222772976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222772976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222772976">(Jan 14 2021 at 19:47)</a>:</h4>
<p>Ideally, I'd like to resolve this sooner rather than later, since the same points might be brought up again at a later date.</p>



<a name="222773142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773142">(Jan 14 2021 at 19:48)</a>:</h4>
<blockquote>
<p>no_suspend.. the possibilities are endless!</p>
</blockquote>
<p>I mean, as the saying goes,  "There are two hard problems in CS.."</p>



<a name="222773165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773165">(Jan 14 2021 at 19:48)</a>:</h4>
<p>(following <code>no_mangle</code> etc)</p>



<a name="222773174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773174">(Jan 14 2021 at 19:48)</a>:</h4>
<p>Well.. I kind of like <code>#[must_not_suspend]</code></p>



<a name="222773230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773230">(Jan 14 2021 at 19:49)</a>:</h4>
<p>it retains similarity to <code>#[must_use]</code></p>



<a name="222773258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773258">(Jan 14 2021 at 19:49)</a>:</h4>
<p>while seeming more "correct" to me than <code>#[must_not_await]</code></p>



<a name="222773275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773275">(Jan 14 2021 at 19:49)</a>:</h4>
<p>or at least harder to misinterpret</p>



<a name="222773281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773281">(Jan 14 2021 at 19:49)</a>:</h4>
<ol start="2">
<li>Race conditions</li>
<li>Naming things</li>
<li>Off by one errors</li>
</ol>



<a name="222773386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773386">(Jan 14 2021 at 19:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="137147">Didrik Nordstrom</span> <a href="#narrow/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14/near/222773281">said</a>:</p>
<blockquote>
<ol start="2">
<li>Race conditions</li>
<li>Naming things</li>
<li>Off by one errors</li>
</ol>
</blockquote>
<p>Lol, markdown injected the WRONG numbers. Didn't allow me to write out-of-order</p>



<a name="222773403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773403">(Jan 14 2021 at 19:50)</a>:</h4>
<p>Yes, that's my personal choice as well, as it's concise and as <span class="user-mention" data-user-id="116883">@tmandry</span> mentioned, is reminiscent of <code>#[must_use]</code> making things consistent. Plus, it also alludes to suspension of tasks. Any further information about the behavior of the lint should be answered via documentation.</p>



<a name="222773521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773521">(Jan 14 2021 at 19:51)</a>:</h4>
<p>I recommend advocating for that then, and not trying to convince everyone that it's the <em>best</em> option, but an acceptable one</p>



<a name="222773531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773531">(Jan 14 2021 at 19:51)</a>:</h4>
<p>I think the lint error text is going to be more important to users.</p>



<a name="222773577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773577">(Jan 14 2021 at 19:51)</a>:</h4>
<p>^ it depends on which users, though</p>



<a name="222773608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773608">(Jan 14 2021 at 19:51)</a>:</h4>
<p>there are people who will see the lint, and people who will just read the code</p>



<a name="222773668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773668">(Jan 14 2021 at 19:52)</a>:</h4>
<p>though I guess if the lint text is embedded in the attribute, that would make it more self-explanatory</p>



<a name="222773685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773685">(Jan 14 2021 at 19:52)</a>:</h4>
<p>anyway</p>



<a name="222773689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773689">(Jan 14 2021 at 19:52)</a>:</h4>
<p>Users of a must_.. type as defined by a 3p library I imagine is the most common.</p>



<a name="222773690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773690">(Jan 14 2021 at 19:52)</a>:</h4>
<blockquote>
<p>I think the lint error text is going to be more important to users.</p>
</blockquote>
<p>That's a great point as well. The warning text should also include relevant information and a link to the documentation.</p>



<a name="222773781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773781">(Jan 14 2021 at 19:52)</a>:</h4>
<p>I think it's important that a name isn't easily misinterpreted to mean something different than it means</p>



<a name="222773810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773810">(Jan 14 2021 at 19:53)</a>:</h4>
<p>and less important that it's obvious on first reading what it means</p>



<a name="222773829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773829">(Jan 14 2021 at 19:53)</a>:</h4>
<p>which is a subtle point</p>



<a name="222773883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773883">(Jan 14 2021 at 19:53)</a>:</h4>
<p>Why suspend over await btw? More general?</p>



<a name="222773888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773888">(Jan 14 2021 at 19:53)</a>:</h4>
<p>But to conclude, I will advocate for <code>#[must_not_suspend]</code> as the an acceptable option and bring up all the points raised here, and see if that will help resolve that discussion.</p>



<a name="222773910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222773910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222773910">(Jan 14 2021 at 19:53)</a>:</h4>
<p>like, if you <em>know</em> you don't know what something means, that's better than thinking you know but not knowing :)</p>



<a name="222774006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222774006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222774006">(Jan 14 2021 at 19:54)</a>:</h4>
<p><span class="user-mention silent" data-user-id="137147">Didrik Nordstrom</span> <a href="#narrow/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14/near/222773883">said</a>:</p>
<blockquote>
<p>Why suspend over await btw? More general?</p>
</blockquote>
<p>must_not_await was interpreted as meaning "you can't <code>.await</code> this type"</p>



<a name="222774119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222774119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222774119">(Jan 14 2021 at 19:54)</a>:</h4>
<p>when it really means "you shouldn't have a value of this type laying around when you suspend, aka await something"</p>



<a name="222774139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222774139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222774139">(Jan 14 2021 at 19:55)</a>:</h4>
<p>the naming will work for generators too, if we stabilize those, which is nice</p>



<a name="222774355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222774355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bhargav Voleti <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222774355">(Jan 14 2021 at 19:56)</a>:</h4>
<p>Awesome, thanks for the input <span class="user-mention" data-user-id="116883">@tmandry</span> <span class="user-mention" data-user-id="137147">@Didrik Nordstrom</span> I'm going to leave a comment on the PR before the end of the day today.</p>



<a name="222774401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222774401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222774401">(Jan 14 2021 at 19:56)</a>:</h4>
<p>sounds good!</p>



<a name="222774415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222774415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Didrik Nordstrom <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222774415">(Jan 14 2021 at 19:56)</a>:</h4>
<p>great!</p>



<a name="222774479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222774479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222774479">(Jan 14 2021 at 19:57)</a>:</h4>
<p>3 minutes left. Any remaining topics?</p>



<a name="222774649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021.01.14/near/222774649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021.2E01.2E14.html#222774649">(Jan 14 2021 at 19:58)</a>:</h4>
<p>If not, thanks for coming and I hope you have a great day <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>